formal argument

formal argument
формальный параметр

English-Russian dictionary of computer science and programming. 2013.

Игры ⚽ Поможем решить контрольную работу

Смотреть что такое "formal argument" в других словарях:

  • Argument map — An Argument map is a visual representation of the structure of an argument in informal logic. It includes the components of an argument such as a main contention, premises, co premises, objections, rebuttals and lemmas.Argument Maps are often… …   Wikipedia

  • argument — ar·gu·ment n 1: a reason or the reasoning given for or against a matter under discussion compare evidence, proof 2: the act or process of arguing, reasoning, or discussing; esp: oral argum …   Law dictionary

  • Argument — This article is about the subject as it is studied in logic and philosophy. For other uses, see Argument (disambiguation). In philosophy and logic, an argument is an attempt to persuade someone of something, by giving reasons or evidence for… …   Wikipedia

  • formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction       the abstract study of propositions, statements, or assertively used …   Universalium

  • Formal fallacy — In philosophy, a formal fallacy or a logical fallacy is a pattern of reasoning which is always wrong. This is due to a flaw in the structure of the argument which renders the argument invalid. A formal fallacy is contrasted with an informal… …   Wikipedia

  • argument — noun 1 discussion ADJECTIVE ▪ bitter, heated, violent ▪ big ▪ I had a big argument with my mother this morning. ▪ little, petty …   Collocations dictionary

  • Argument from nonbelief — Part of a series on Atheism …   Wikipedia

  • Formal proof — See also: mathematical proof, proof theory, and axiomatic system A formal proof or derivation is a finite sequence of sentences (called well formed formulas in the case of a formal language) each of which is an axiom or follows from the… …   Wikipedia

  • Formal calculation — In mathematical logic, a formal calculation is sometimes defined as a calculation which is systematic, but without a rigorous justification . This means that we are manipulating the symbols in an expression using a generic substitution, without… …   Wikipedia

  • Formal interpretation — A formal interpretation [http://books.google.com/books?id=weKqT3ka5g0C pg=PA74 lpg=PA74 dq=%22Formal+interpretation%22+%22formal+language%22 source=web ots=pLN ms7Wi2 sig=P JqwdzOqLcX4nMpP64qmacnkDU hl=en#PPA74,M1 Cann Ronnie, Formal Semantics:… …   Wikipedia

  • Formal — The term formal has a number of uses, including:General*relating to formality *opposite of informalocial* Formal occasion ** Formal attire worn on such occasions ** Formals are particular meals at some British universities ** In Australian or… …   Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»